An Extensional Metalanguage with I/o and a Dynamic Store (extended Abstract)
نویسندگان
چکیده
We introduce a typed metalanguage based on PCF that includes I/O and store operations. We give an applicative characterization of operational equivalence for this language. Finally, we give an example of a translation from an imperative programming language into our metalanguage, and we demonstrate how to use the theory of the metalanguage to reason about terms in the source programming language.
منابع مشابه
Dimensions and Dichotomy in Metamodeling
Syntax: An abstract description of the entities that form a model of the respective language. Static Semantics (context conditions, constraints) : Well-formedness conditions between the syntactic entities, such as absence of circular inheritance. Dynamic Semantics (denotation): The (operational) behavior of the entities of the speci cation, such as I/O, reaction to stimuli, e ect of executing a...
متن کاملSimulation of Store Separation using Low-cost CFD with Dynamic Meshing
The simulation of the store separation using the automatic coupling of dynamic equations with flow aerodynamics is addressed. The precision and cost (calculation time) were considered as comparators. The method used in the present research decreased the calculation cost while limiting the solution error within a specific and tolerable interval. The methods applied to model the aerodynamic force...
متن کاملUnguarded Recursion on Coinductive Resumptions
A pervasive challenge in programming theory and practice are feature combinations. Here, we propose a semantic framework that combines monad-based computational effects (e.g. store, nondeterminism, random), underdefined or free operations (e.g. actions in process algebra and automata, exceptions), and recursive definitions (e.g. loops, systems of process equations). The joint treatment of these...
متن کاملText Classification into Abstract Classes Based on Discourse Structure
The problem of classifying text with respect to belonging to a document or a meta-document is formulated and its application areas are proposed. An algorithm is proposed for document classification tasks where counts of words is insufficient do differentiate between such abstract classes of text as metalanguage and object-level. We extend the parse tree kernel method from the level of individua...
متن کاملThe Effects of Newmark Method Parameters on Errors in Dynamic Extended Finite Element Method Using Response Surface Method
The Newmark method is an effective method for numerical time integration in dynamic problems. The results of Newmark method are function of its parameters (β, γ and ∆t). In this paper, a stationary mode I dynamic crack problem is coded in extended finite element method )XFEM( framework in Matlab software and results are verified with analytical solution. This paper focuses on effects of main pa...
متن کامل